p-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions
نویسنده
چکیده
Enabling the specification of dynamic service-oriented architectures is a key challenge for an Architecture Description Language (ADL). This paper describes π-ADL for WS-Composition, a novel ADL that has its roots in the ArchWare European Project. It is a formal language specially designed for modeling dynamic architectures based on the typed π-calculus. While most ADLs focus on describing static architectures from a structural viewpoint, πADL focuses on formally describing dynamic architectures from both structural and behavioral viewpoints. How π-ADL for WS-Composition can be used for specifying dynamic Web Service compositions is introduced through a case study. Its design principles, concepts and notation are presented. The πADL for WS-Composition toolset is outlined.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملAgile Service-Oriented Applications: Rule-based Foundation with Runtime Adaptability
Service-oriented applications are increasingly requested to be adaptive and reliable, to face harsh market competitiveness and volatility. Towards achieving that, service developers must foster current ad-hoc and rigid available technology, e.g. WSDL, BPEL and WS-CDL, with early formal specification and validation and equip them with adaptability as steering forces. In paper puts first mileston...
متن کاملModel Driven Development and Dynamic Composition of Web Services
OF DISSERTATION GRADUATE SCHOOL, UNIVERSITY OF ALABAMA AT BIRMINGHAM Degree Ph.D. Program Computer and Information Sciences . Name of Candidate Fei Cao . Committee Chair Barrett R. Bryant . .Title Model Driven Development and Dynamic Composition of Web Services . Web Services (WS) have emerged as a new component-based software development paradigm in a network-centric environment based on the S...
متن کاملModel Driven Development of Web Services and Dynamic Web Services Composition
OF DISSERTATION GRADUATE SCHOOL, UNIVERSITY OF ALABAMA AT BIRMINGHAM Degree Ph.D. Program Computer and Information Sciences . Name of Candidate Fei Cao __ _ . Committee Chair Barrett R. Bryant_______________________________________ .Title Model Driven Development and Dynamic Composition of_Web Services ___ Web Services (WS) has emerged as a new component-based software development paradigm in a...
متن کاملBeiträge zur Anforderungsanalyse im Rahmen der Entwicklung betrieblicher Anwendungssysteme aus Sicht der Wirtschaftsinformatik
Web service compositions coordinate Web services of different enterprises. They are expected to constitute the foundation of service-oriented architectures, to improve business processes as well as to foster intraand inter-organizational integration. Especially in inter-organizational contexts, quality of service referring to non-functional requirements and conformance to functional requirement...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008